Sentience is the capacity to have feelings, such as feelings of pain, pleasure, hunger, thirst, warmth, joy, comfort and excitement. It is not simply the capacity to feel pain, but feelings of pain, distress or harm, broadly understood, have a special significance for animal welfare law. Drawing on over 300 scientific studies, we evaluate the evidence of sentience in two groups of invertebrate animals: the cephalopod molluscs or, for short, cephalopods (including octopods, squid and cuttlefish) and the decapod crustaceans or, (...) for short, decapods (including crabs, lobsters and crayfish). We also evaluate the potential welfare implications of current commercial practices involving these animals. (shrink)

This editorial introduces the Journal of Consciousness Studies special issue on "Animal Consciousness". The 15 contributors and co-editors answer the question "How should we study animal consciousness scientifically?" in 500 words or fewer.

A response to Graham Stevens’s response to Lugg, ‘Russell as a Precursor of Quine’ (Bertrand Russell Society Quarterly, nos. 128-129, pp. 9-21). Stevens challenges the argument of this paper that from 1912, if not earlier, Russell was “a naturalistically-minded epistemologist in the Quinean mould”. He maintains that to the contrary “Russell cannot be accurately characterized as an empiricist” and “Russell’s greatest influence on Quine’s naturalistic project did not stem from his epistemology but from his semantics”. In the present note it (...) is argued Stevens overlooks that Russell is in the empiricist camp as well as the naturalist camp and the empiricist elements of Russell’s philosophy are secondary to his naturalism. (shrink)

The issue of whether or not there are visual arguments has been an issue in informal logic and argumentation theory at least since 1996. In recent years, books, sections of prominent conferences and special journals issues have been devoted to it, thus significantly raising the profile of the debate. In this paper I will attempt to show how the views of the later Wittgenstein, particularly his views on images and the no- tion of “picturing”, can be brought to bear on (...) the question of whether there are such things as “purely visual” arguments. I shall draw on Wittgenstein’s remarks in the Blue and Brown Books and in Philosophical Investigations in order to argue that al- though visual images may occur as elements of argumentation, broadly conceived, it is a mistake to think that there are purely visual arguments, in the sense of illative moves from premises to conclusions that are conveyed by images alone, without the support or framing of words. (shrink)

This chapter explores some features of pragmatic pluralism as an ethical perspective on climate change. It is inspired in part by Andrew Light’s work on climate diplomacy as U.S. Assistant Secretary of Energy for International Affairs, and by Bryan Norton’s environmental pragmatism, while drawing more explicitly than Light or Norton from classical pragmatist sources such as John Dewey. The primary aim of the chapter is to characterize, differentiate, and advance a general pragmatist approach to climate ethics. The main line (...) of argument is that we are suffering culturally from a sort of “moral jetlag” due in part to “moral fundamentalist” habits, and that a critical focus on pragmatic pluralism—in moral theory generally and climate ethics particularly—would be salutary for our recovery if philosophers are to speak more effectively to “wicked problems” in a way that aids public deliberation and social learning. Moral fundamentalist habits, and the monistic one-way assumption that unintentionally—but not blamelessly—exercises and unduly reinforces them, are obstacles to fostering habits of moral and political inquiry better suited to dealing with predicaments rapidly transforming our warming planet. (shrink)

The goal of this paper is to sketch an account of Kant’s signature metaphysical doctrine (transcendental idealism) that (a) has no supporters – as far as I am aware – in the contemporary literature, and (b) draws its primary motivation (as interpretation) from considerations regarding our practical situation and needs as agents. -/- The consideration I focus on here is that people not only have mental and moral features, but they also appear to us – in our daily experience – (...) to have such features: “[w]e can perceive virtue in our experience (Wir können in der Erfahrung wohl Tugend wahrnehmen)” (24: 906). The same presumably goes for vice: When I see you casually torturing a cat, you appear to me to be brown-haired, wearing jeans, moving your arms, laughing, and so on, but you also appear to me to be vicious and cruel. Your character shines through in your actions. I can then make a defeasible inference from those appearances to the moral reality. -/- Such appearances and inferences play a central role in our practices of praise, blame, forgiveness, and punishment. An interpretation of transcendental idealism that gives primacy to the practical will thus seek to analyze the concepts of experience, acquaintance, and appearance/phenomenon in a capacious-enough way that they can apply to mental and moral features too. If successful, such an interpretation would have a clear practical advantage over those that leave us merely conjecturing from experiences of bodies, gestures, and secondary qualities to moral features that do not appear, or even to the non-appearing features of a distinct set of things. (shrink)

Plausible probabilistic accounts of evidential support entail that every true proposition is evidence for itself. This paper defends this surprising principle against a series of recent objections from Jessica Brown. Specifically, the paper argues that: (i) explanationist accounts of evidential support convergently entail that every true proposition is self-evident, and (ii) it is often felicitous to cite a true proposition as evidence for itself, just not under that description. The paper also develops an objection involving the apparent impossibility of (...) believing P on the evidential basis of P itself, but gives a reason not to be too worried about this objection. Establishing that every true proposition is self-evident saves probabilistic accounts of evidential support from absurdity, paves the way for a non-sceptical infallibilist theory of knowledge and has distinctive practical consequences. (shrink)

Environmental pragmatists argue that it is defeatist to declare in advance that the only effective way to deal with environmental problems is to usher in a complete cultural paradigm shift that radically transforms human value systems. Hence, they do not place a high priority on revolutionary attempts to convince doubters that natural systems, living beings, or sentient beings have intrinsic value. Instead, they prioritize creating a democratic context for adaptive decision processes, which of course includes the evaluation of vying principles. (...) This approach reflects John Dewey’s distinction between a planning society and a planned society. Whereas incommensurable values are an inherent problem for any planned society, such as Plato’s Republic or the former Soviet Union, they are irreducible frictions within a planning society. This focus on planning is illustrated by pragmatist philosopher Andrew Light’s work on climate diplomacy as U.S. Assistant Secretary of Energy for International Affairs. The Kyoto Protocol began with an abstract principle of equitable emissions. But its top-down, punitive approach precipitated a race to the bottom when it came to agreeing on binding targets. In contrast, the Paris Agreement’s bottom-up “pledge and review” approach fronts adaptive processes through which countries intra-nationally decide what to do, take stock, and reconvene to pressure each other. Such continuous cooperative planning makes it more likely that evolving situations will be met creatively and with higher ambition. DOI: 10.1002/9781444367072.wbiee962 . (shrink)

I should like to offer my greatest thanks to Paul Griffiths for providing the opportunity for this exchange, and to commentators Gillian Brown, Steven Fuller, Stefan Linquist, and Erika Milam for their generous and thought-provoking comments. I shall do my best in this space to respond to some of their concerns.

This study identified and characterised Wittgenstein’s socialised epistemology. It examined some arguments against Wittgenstein’s socialised epistemology. It also assessed the strength of Wittgenstein’s socialised epistemology in light of the arguments against it. This was with a view to redirecting epistemology from its endless attempts in refuting radical skepticism to providing a solid ground for knowledge in Wittgenstein’s notion of “forms of life”. The study made use of both primary and secondary sources of data. The primary source comprised a close reading (...) of Plato’s “Theatetus”, Roderick Chisholm’s Theory of Knowledge, D.W. Hamlyn’s The Theory of Knowledge, Ludwig Wittgenstein’s The Blue and Brown Books, Ludwig Wittgenstein’s Philosophical Investigation, and Ludwig Wittgenstein’s On Certainty. The Secondary source included books, journal articles and the Internet. The data collected were subjected to conceptual analysis and philosophical argumentation. The results showed that Wittgenstein’s epistemology was a rejection of the orthodox epistemology, which assumed a representational relationship between words and objects in providing valid basis for knowledge. The study discovered that Wittgenstein treated knowledge as a product of epistemic community. It found out that in spite of its shortcomings Wittgenstein’s epistemology remained a plausible alternative approach to orthodox epistemology. It also discovered that contrary to the criticisms against Wittgenstein’s socialised epistemology, there were numerous merits that made it worth adopting as an approach to the problems of knowledge. The study concluded that rather than endlessly seeking to refute radical skepticism, epistemologists should be contented with knowledge as provided by the form of life embedded in an epistemic community. It also concluded that it was in this form of life that the nature of knowledge could be properly understood and attained as a socialised phenomenon. (shrink)

The article examines the impact of the study for Levittown of urban sociologist Herbert Gans on Denise Scott Brown’s thought. It scrutinizes Denise Scott Brown, Robert Venturi, and Steven Izenour’s ‘Remedial Housing for Architects or Learning from Levittown’ conducted in collaboration with their students at Yale University in 1970. Taking as its starting point Scott Brown’s endeavour to redefine functionalism in ‘Architecture as Patterns and Systems: Learning from Planning’, and ‘The Redefinition of Functionalism’, which were included (...) in Architecture as Signs and Systems: For a Mannerist Time (2004), the article sheds light on the fact that the intention to shape a new way of conceiving functionalism was already present in Learning from Las Vegas, where Robert Venturi, Denise Scott Brown and Steven Izenour suggested an understanding of Las Vegas as pattern of activities. Particular emphasis is placed on Scott Brown’s understanding of ‘active socioplastics’, and on the impact of advocacy planning and urban sociology on her approach. At the core of the reflections developed in this article is the concept of ‘urban village’ that Gans uses in US in The Urban Villagers: Group and Class in the Life of Italian-Americans (1972) to shed light on the socio-anthropological aspects of inhabiting urban fabric. (shrink)

La editorial James Clarke & Co., a través de Pickwick Publications, posibilita la publicación de una obra de Andrew Shepherd. El texto, intitulado “The Gift of the Other. Levinas, Derrida, and a Theology of Hospitality”, permite una reflexión a propósito de la noción de Regalo (Gift). La presente reseña asume como objetivo una exposición del texto a partir de una serie de comentarios sobre cada una de las secciones, más un comentario final para concluir. En orden a presentar al (...) lector una guía para la comprensión de la obra se detalla el contenido de la misma: (i) Foreword by Steven Bouma-Prediger, (ii) Preface, (iii) Introduction: A World for all?, (1) The Trascendence of the Other and Infinite Responsability, (2) Unconditional Hospitality, the Gift of Deconstruction, (3) Levinasian and Derridean Hospitality, (4) Gifted, Called, and Named, (5) Sacrificial Substitute, and Eikon, (6) Dwelling in Christ and the In-Dwelling Other, (7) Performing a Different Script, (8) Conclusion. (shrink)

As a result of the world-wide COVID-19 epidemic, an internal tension in the goals of medicine has come to the forefront of public debate. Medical professionals are continuously faced with a tug of...

Roughly, a proof of a theorem, is “pure” if it draws only on what is “close” or “intrinsic” to that theorem. Mathematicians employ a variety of terms to identify pure proofs, saying that a pure proof is one that avoids what is “extrinsic,” “extraneous,” “distant,” “remote,” “alien,” or “foreign” to the problem or theorem under investigation. In the background of these attributions is the view that there is a distance measure (or a variety of such measures) between mathematical statements and (...) proofs. Mathematicians have paid little attention to specifying such distance measures precisely because in practice certain methods of proof have seemed self- evidently impure by design: think for instance of analytic geometry and analytic number theory. By contrast, mathematicians have paid considerable attention to whether such impurities are a good thing or to be avoided, and some have claimed that they are valuable because generally impure proofs are simpler than pure proofs. This article is an investigation of this claim, formulated more precisely by proof- theoretic means. After assembling evidence from proof theory that may be thought to support this claim, we will argue that on the contrary this evidence does not support the claim. (shrink)

We argue that charging people to participate in research is likely to undermine the fundamental ethical bases of clinical research, especially the principles of social value, scientific validity, and fair subject selection.

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

Summary measures of health, such as the quality-adjusted life year and disability-adjusted life year, have long been known to incorporate a number of value choices. In this paper, though, I show that the value choices in the construction of such measures extend far beyond what is generally recognized. In showing this, I hope both to improve the understanding of those measures by epidemiologists, health economists and policy-makers, and also to contribute to the general debate about the extent to which such (...) measures should be adjusted to reflect ethical values. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

This article will consider imagination in mathematics from a historical point of view, noting the key moments in its conception during the ancient, modern and contemporary eras.

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

This paper considers Kant's views on how it can be rational to hope for God's assistance in becoming morally good. If I am fully responsible for making myself good and can make myself good, then my moral condition depends entirely on me. However, if my moral condition depends entirely on me, then it cannot depend on God, and it is therefore impossible for God to provide me with any assistance. But if it is impossible for God to provide me with (...) any assistance, it is irrational for me to hope for such assistance. I address this conundrum by providing an analysis of one necessary condition of rational hope: hope is rational only if the subject is not in a position to be certain that p is really impossible. I then offer several different strategies on which it might be rational to hope that God provides moral assistance, with the most radical of these strategies suggesting that, given our ignorance of the laws of the intelligible world, for all human beings know it is metaphysically possible that God perform a noumenal miracle on their moral character. -/- . (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

Expert skill in music performance involves an apparent paradox. On stage, expert musicians are required accurately to retrieve information that has been encoded over hours of practice. Yet they must also remain open to the demands of the ever-changing situational contingencies with which they are faced during performance. To further explore this apparent paradox and the way in which it is negotiated by expert musicians, this article profiles theories presented by Roger Chaffin, Hubert Dreyfus and Tony and Helga Noice. For (...) Chaffin, expert skill in music performance relies solely upon overarching mental representations, while, for Dreyfus, such representations are needed only by novices, while experts rely on a more embodied form of coping. Between Chaffin and Dreyfus sit the Noices, who argue that both overarching cognitive structures and embodied processes underlie expert skill. We then present the Applying Intelligence to the Reflexes (AIR) approach?a differently nuanced model of expert skill aligned with the integrative spirit of the Noices? research. The AIR approach suggests that musicians negotiate the apparent paradox of expert skill via a mindedness that allows flexibility of attention during music performance. We offer data from recent doctoral research conducted by the first author of this article to demonstrate at a practical level the usefulness of the AIR approach when attempting to understand the complexities of expert skill in music performance. (shrink)

Terence Horgan, George Graham and John Tienson argue that some intentional content is constitutively determined by phenomenology alone. We argue that this would require a certain kind of covariation of phenomenal states and intentional states that is not established by Horgan, Tienson and Graham’s arguments. We make the case that there is inadequate reason to think phenomenology determines perceptual belief, and that there is reason to doubt that phenomenology determines any species of non-perceptual intentionality. We also raise worries about the (...) capacity of phenomenology to map onto intentionality in a way that would be appropriate for any determiner of content/fixer of truth conditions. (shrink)

An analysis of a valenced corpus of English words revealed that words that rhyme with slurs are rated more poorly than their synonyms. What at first might seem like a bizarre coincidence turns out to be a robust feature of slurs, one arising from their phonetic structure. We report novel data on phonaesthetic preferences, showing that a particular class of phonemes are both particularly disliked, and overrepresented in slurs. We argue that phonaesthetic associations have been an overlooked source of some (...) of the more peculiar, arational aspects of slurs. We conclude by drawing broader morals about the evolution of the lexicon. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

The shape of a life hypothesis holds that the temporal sequence of good or bad times in a life can itself be a valuable feature of that life. This is generally thought to be incompatible with additivism about lifetime well-being, which holds that lifetime well-being is fully determined by momentary well-being. This paper examines Dale Dorsey’s recent argument that these views are in fact compatible. I argue that accepting the conjunction of these views requires stronger commitments than Dorsey recognizes. After (...) arguing that these commitments are problematic, I conclude that we should reject the compatibility claim. (shrink)

Mereological nihilism is the thesis that composition never occurs. Sider has defended nihilism on the basis of its relative ideological simplicity. In this paper I develop the argument from ideological simplicity, and defend it from some recent objections. Along the way I discuss the best way to formulate nihilism, what it means for a theory to exhibit lesser or greater degrees of ideological simplicity, the relationship between the parthood relation and the identity relation, and the notion that we should judge (...) the ideological simplicity of competing theories on the basis of the kinds of ideological commitments required by those theories. (shrink)

This paper considers the relation between the sources of normativity, reasons, and normative conflicts. It argues that common views about how normative reasons relate to their sources have important consequences for how we can understand putative normative conflicts.

Some facts ground other facts. Some fact is fundamental iff there are no other facts which partially or fully ground that fact. According to metaphysical foundationalism, every non-fundamental fact is fully grounded by some fundamental fact(s). In this paper I examine and defend some neglected considerations which might be made in favor of metaphysical foundationalism. Building off of work by Ross Cameron, I suggest that foundationalist theories are more unified than, and so in one important respect simpler than, non-foundationalist theories, (...) insofar as foundationalist theories allow us to derive all non-fundamental facts from some fundamental fact(s). Non-foundationalist theories can enjoy a similar sort of theoretical unification only by taking on objectionable metaphysical laws. (shrink)

Kris McDaniel has recently proposed an interpretation of the distinction between conventional truth and ultimate truth, as that distinction is made within Abhidharma metaphysics. According to McDaniel's proposal, the distinction between conventional truth and ultimate truth is closely connected with a similar distinction between conventional existence and ultimate existence. What is more, the distinction between conventional existence and ultimate existence should be interpreted along ontological pluralist lines: the difference between things that ultimately exist and things that merely conventionally exist amounts (...) to a difference in the modes of being enjoyed by the things in question.One... (shrink)

In this paper I offer an interpretation of Kant’s theory of perceptual error based on his remarks in the Anthropology. Both hallucination and illusion, I argue, are for Kant species of experience and therefore require the standard co-operation of sensibility and understanding. I develop my account in a conceptualist framework according to which the two canonical classes of non-veridical experience involve error in the basic sense that how they represent the world as being is not how the world is. In (...) hallucination this is due to the misapplication of categories and in illusion to the misapplication of empirical concepts. Yet there is also room in this framework for a distinction in terms of cognitive functionality between the level of experience, which is merely judgementally structured, and that of judgement proper, which involves the free action of a conscious agent. This distinction enables Kant to allow for the otherwise problematic phenomenon of self-aware non-veridicality. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...) school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

Autoinhibition is a design principle realized in many molecular mechanisms in biology. After explicating the notion of a design principle and showing that autoinhibition is such a principle, we focus on how researchers discovered instances of autoinhibition, using research establishing the autoinhibition of the molecular motors kinesin and dynein as our case study. Research on kinesin and dynein began in the fashion described in accounts of mechanistic explanation but, once the mechanisms had been discovered, researchers discovered that they exhibited a (...) second phenomenon, autoinhibition. The discovery of autoinhibition not only reverses the pattern in terms of which philosophers have understood mechanism discovery but runs counter to the one phenomenon-one mechanism principle assumed to relate mechanisms and the phenomena they explain. The ubiquity of autoinhibition as a design principle, therefore, necessitates a philosophical understanding of mechanisms that recognizes how they can participate in more than one phenomenon. Since mechanisms with this design are released from autoinhibition only when they are acted on by control mechanisms, we advance a revised account of mechanisms that accommodates attribution of multiple phenomena to the same mechanism and distinguishes them from other processes that control them. (shrink)

It is sometimes supposed that, in principle, we cannot offer an explanation for why there is something rather than nothing. I argue that this supposition is a mistake, and stems from a needlessly myopic conception of the form explanations can legitimately take. After making this more general point, I proceed to offer a speculative suggestion regarding one sort of explanation which can in principle serve as an answer to the question “why is there something rather than nothing?” The suggestion is (...) that there may be something rather than nothing in virtue of the truth of certain sorts of subjunctive conditionals. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

The paper questions the compatibility of critical realism with ecological economics. In particular, it is argued that there is radical dissonance between ontological presuppositions of ecological economics and critical realist perspective. The dissonance lies in the need of ecological economics to state strict causal regularities in socio-economic realm, given the environmental intuitions about the nature of economy and the role of materiality and non-human agency in persistence of economic systems. Using conceptual apparatus derived from Andrew Brown’s critique of (...) critical realism and Bruno Latour’s actor-network theory, the paper refuses ontological nature/society dualism employed by critical realism, and stresses the role of non-humans in practical production and reproduction of socio-economic networks on the one hand, and in broadly defined ecological economic research on the other hand. (shrink)

This article presents a critical reevaluation of the thesis—closely associated with H. L. A. Hart, and central to the views of most recent legal philosophers—that the idea of state coercion is not logically essential to the definition of law. The author argues that even laws governing contracts must ultimately be understood as “commands of the sovereign, backed by force.” This follows in part from recognition that the “sovereign,” defined rigorously, at the highest level of abstraction, is that person or entity (...) identified by reference to game theory and the philosophical idea of “convention” as the source of signals with which the subject population has become effectively locked, as a group, into conformity. (shrink)

Une preuve est pure si, en gros, elle ne réfère dans son développement qu’à ce qui est « proche » de, ou « intrinsèque » à l’énoncé à prouver. L’infinité des nombres premiers, un théorème classique de l’arithmétique, est un cas d’étude particulièrement riche pour les recherches philosophiques sur la pureté. Deux preuves différentes de ce résultat sont ici considérées, à savoir la preuve euclidienne classique et une preuve « topologique » plus récente proposée par Furstenberg. D’un point de vue (...) naïf, il semblerait que la première soit pure et la seconde impure. Des objections à cette vue naïve sont ici considérées et réfutées. Concernant la preuve euclidienne, la question relève de la logique, notamment de la définissabilité arithmétique de l’addition en termes de successeur et de divisibilité telle que démontrée par Julia Robinson, tandis qu’en ce qui concerne la preuve topologique, la question relève de la sémantique, notamment pour tout ce qui touche au problème de savoir ce qui est « inclus » dans le contenu d’énoncés particuliers.A proof is pure, roughly, if it draws only on what is « close » or « intrinsic » to the statement being proved. The infinitude of prime numbers, a classical theorem of arithmetic, is a rich case study for philosophical investigation of purity. Two different proofs of this result are considered, namely the classical Euclidean proof and a more recent « topological » proof by Furstenberg. Naively the former would seem to be pure and the latter to be impure. Objections to these naive views are considered and met. In the case of the former the issue rests on logical matters, specifically the arithmetic definability of addition in terms of successor and divisibility shown by Julia Robinson, while in the case of the latter the issue rests on semantic matters, specifically with respect to what is « contained » in the content of particular statements. (shrink)

In a number of recent publications Thomasson has defended a deflationary approach to ontological disputes, according to which ontological disputes are relatively easy to settle, by either conceptual analysis, or conceptual analysis in conjunction with empirical investigation. Thomasson’s “easy” approach to ontology is intended to derail many prominent ontological disputes. In this paper I present an objection to Thomasson’s approach to ontology. Thomasson’s approach to existence assertions means that she is committed to the view that application conditions associated with any (...) term “K” with non-trivial application conditions must refer to the existence of things other than Ks. Given other components of her meta-ontological scheme, this leads to either an infinite regress or circularity of application conditions, both of which seem objectionable. Accordingly, some part of Thomasson’s meta-ontological scheme should be modified or abandoned. (shrink)

In this article, we describe what cryptocurrency is, how it works, and how it relates to familiar conceptions of and questions about money. We then show how normative questions about monetary policy find new expression in Bitcoin and other cryptocurrencies. These questions can play a role in addressing not just what money is, but what it should be. A guiding theme in our discussion is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results (...) of disciplines like computer science and economics. Note: this article is the first entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

Two normative principles of toleration are offered, one individual-regarding, the other group-regarding. The first is John Stuart Mill’s harm principle; the other is “Principle T,” meant to be the harm principle writ large. It is argued that the state should tolerate autonomous sacrifices of autonomy, including instances where an individual rationally chooses to be enslaved, lobotomized, or killed. Consistent with that, it is argued that the state should tolerate internal restrictions within minority groups even where these prevent autonomy promotion of (...) members of the group. Finally, it is argued that toleration excludes external protections of minority groups. (shrink)

In the first half of the paper, it is argued that while the prospects for a criterion for demarcating scientific theories from pseudoscientific ones are exceedingly dim, it is a mistake to fall back to the position that these differ only with regard to how well they are confirmed. One may admit that different pseudoscientific theories are flawed in different ways yet still insist that their flaws are structural rather than empirical in character. In the second half of the paper, (...) this view is extended to cover the cases of pseudoscientific correlations and therapies, and it is suggested that the pseudosciences are best thought of as radically flawed practices. (shrink)

I reply to recent criticisms by Uygar Abaci and Peter Yong, among others, of my reading of Kant's pre-Critical of God's existence, and of its fate in the Critical period. Along the way I discuss some implications of this debate for our understanding of Kant's modal metaphysics and modal epistemology generally.